+!trunk(g).

+!trunk(g) : ~raining&loc(g,x) <- detect(g,x);!sg1.
+!sg1 : ~raining <- move(x);collect(g);put_trunk(g).
